All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Lire la suiteThe book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
Lire la suite